Speci cation of Graphic Conventions in MethodsA
نویسندگان
چکیده
The current generation of CASE tools mainly provides rigid and unnexible support for editing, storage, veriication and transformation of speciications. Information engineers have to adapt their way of working to CASE tools instead of vice versa. To enable a more exi-ble, method independent, support of information engineers, the concept of a CASE shell has emerged. Crucial for CASE shells is the speciication of interpretable method knowledge. A technique capable of specifying method knowledge is referred to as a meta-modelling technique. In this paper it is stressed that a meta-modelling technique should also be able to represent graphic conventions in methods. An existing meta-modelling technique is extended with constructs for the representation of graphic knowledge.
منابع مشابه
Static and Dynamic Speci cation Slicing
A speci cation slice is a projection of a formal speci cation, which is simpler and potentially more comprehensible than the original speci cation. A static speci cation slice contains speci cations that might restrict the value of a variable. A dynamic speci cation slice consists of speci cations that actually a ect the value of a variable along the sequence of operations performed. Dynamic sp...
متن کاملSuperposing UML class diagrams
There is a close connection between superposition-based design and aspect-orientation [6, 7, 10]. In [11] three steps were identi ed when composing modules describing overlapping concerns: matching units describing the same concepts, reconciliation of their possible di erences, and integration of the units. These problems, as well as many concerning distribution, have already been studied in th...
متن کاملAgents Base) *isuali.ation An) Strategies
This paper describes a exible visualization architecture based on software agents, which enables the abstraction and reuse of rendering strategies. Using a reication of the rendering environment, the system is able to add new rendering strategies (such as distributed rendering or progressive rendering) to an existing pipeline, without any modication of the other components (controls componen...
متن کاملSpectur | A Speci cation Language for the Programmer
Spectur (Speci cation language after Turing) has been designed as a language for formal speci cation. The goals of the language include: ease of use by a speci er to write a software system speci cation from an informal description; ease of use by an implementor to build a program from a speci cation; ease of understanding by a user as documentation; ease of use by a mathematician to prove prog...
متن کاملFormal Requirements Speci cation for Command and Control Systems
This paper presents an approach to formal requirements speci cation of embedded systems. The speci c demands of a speci cation for command and control systems are addressed. The proposed method allows various views of a system, like conventional methods. The added value lies in the fact that the relationship between the views is speci ed formally, and consistency between views can be analyzed f...
متن کامل